Revisiting C1
نویسندگان
چکیده
We show that logic C1 cannot be extended to a paraconsistent logic in which the substitution theorem is valid. We show with the help of an answer set programming (ASP) tool called clasp, that C1 is robust with respect to certain three valued paraconsistent logics with some desirable properties. In particular C1 is robust with respect to three-valued logic P2, a logic for which some of the De Morgan laws are valid.
منابع مشابه
Revisiting Quotes from Educational Perspective: An Inquiry into the Multifarious Applications of Grand Quotes in English Language Pedagogy
متن کامل
Revisiting the Relationship Between Systems of Innovation and Health Systems: A Response to Recent Commentaries
متن کامل
Revisiting the Effects of Growth Uncertainty on Inflation in Iran:An Application of GARCH-in-Mean Models
This paper investigates the relationship between inflation and growth uncertainty in Iran for the period of 1988-2008 by using quarterly data. We employ Generalized Autoregressive Conditional Heteroscedasticity in Mean (GARCH-M) model to estimate time-varying conditional residual variance of growth, as a standard measures of growth uncertainty. The empirical evidence shows that growth uncertain...
متن کاملRevisiting Beta 2 Glycoprotein I, the Major Autoantigen in the Antiphospholipid Syndrome
Beta 2 glycoprotein I (β2GPI) is a single chain 50 kDa highly glycosylated glycoprotein at an approximate concentration of 4 μM in cells. The abundance of this protein in plasma and its high state of preservation indicate the important role of this protein in mammalian. In addition, β2GPI has a particular structure in the fifth domain, and is categorized as the major antigen recognized by autoa...
متن کامل